Software assurance practices for mobile applications

Mobile software applications have to cope with a particular environment that involves small size, limited resources, high autonomy requirements, competitive business models and many other challenges. To provide development guidelines that respond to these needs, several practices have been introduced; however, it is not clear how these guidelines may contribute to solve the issues present in the mobile domain. Furthermore, the rapid evolution of the mobile ecosystem challenges many of the premises upon which the proposed practices were designed. In this paper, we present a survey of the literature on software assurance practices for mobile applications, with the objective of describing them and assessing their contribution and success. We identified, organized and reviewed a body of research that spans in three levels: software development processes, software product assurance practices, and software implementation practices. By carrying out this literature survey, we reviewed the different approaches that researchers on Software Engineering have provided to address the needs that raise in the mobile software development arena. Moreover, we review the evolution of these practices, identifying how the constant changes and modernization of the mobile execution environment has impacted the methods proposed in the literature. Finally, we introduced discussion on the application of these practices in a real productive setting, opening an area for further research that may determine if practitioners have followed the proposed assurance paradigms.     

发夹式换热器管束流致振动数值模拟研究

运用计算流体力学方法,采用ANSYS CFX软件对发夹式换热器的壳侧流场进行了三维数值模拟。流场计算中采用多孔介质模型对管束区域进行简化,分析了壳侧流场的速度分布,结果表明:直管段部分的流体湍流强度大于弯管段,且外层管束所在区域为高流速区,受流体冲刷严重。结合流场信息,通过功率谱生成随机激振力,采用ABAQUS软件模拟计算了湍流激振下管束的振动响应,结果显示管束的面外均方根位移远大于面内位移,且弯管部分的振动位移最大。该研究结果可为发夹式换热器的性能分析和优化设计提供参考和依据。     

Intrinsic CFRP-metal-hybrids with rubber interface for the improvement of the damping behaviour

This paper presents an integrated passive damping approach in hybrid metal-CFRP parts for structural applications. In this concept a viscoelastic material is embedded in the joint zone of the hybrid component. To examine the connection strength single-lap-joint specimens were produced and tested and the influence of the used material combinations, different surface structures, and different process parameters i.e. the moment of cross-linking were evaluated. Afterwards, the metal-CFRP hybrids were tested in quasi-static tests to assess their connection strength and failure behaviour. Dynamic cyclic tensile tests with step-wise increased loading conditions were performed to determine the specimens damping behaviour and to estimate their fatigue performance. Finally, these results are compared to a state of the art metal-CFRP hybrid with rivets connecting both materials.     

Study on Wettability and Corrosion Behavior of Al2O3 Doped Polyurea Coatings

Protection of Metals and Physical Chemistry of Surfaces - The Al2O3 powder was added as a filler to polyurea and the effect of doping amount on Shore hardness and wetting property were...     

On stochastic comparisons of finite mixtures for some semiparametric families of distributions

In this paper, we consider the classical finite mixture model, which is an effective tool for modeling lifetime distributions for random samples from heterogeneous populations. We discuss new results on stochastic comparison for two finite mixtures when each of them is drawn from one of the following semiparametric families, i.e., proportional hazards, accelerated lifetime and proportional reversed hazards.     

Is the List of Incomplete Open Cubes Complete?

Variations of Incomplete Open Cubes is the major project by the twentieth-century conceptual artist Sol LeWitt. In this paper we interpret the enumerative component of the project as embeddings of graphs. This formulation permits use of an algorithm to check the completeness of the list of the structures produced by the artist. Our conclusion is that the artist found the correct number of structures (that is, 122), but that his list contains a mistake in the presentation of a pair of incomplete cubes, a discovery that appears not to have been noted before.     

Regulation of sensory nerve conduction velocity of human bodies responding to annual temperature variations in natural environments

The extensive research interests in environmental temperature can be linked to human productivity / performance as well as comfort and health; while the mechanisms of physiological indices responding to temperature variations remain incompletely understood. This study adopted a physiological sensory nerve conduction velocity (SCV) as a temperature‐sensitive biomarker to explore the thermoregulatory mechanisms of human responding to annual temperatures. The measurements of subjects’ SCV (over 600 samples) were conducted in a naturally ventilated environment over all four seasons. The results showed a positive correlation between SCV and annual temperatures and a Boltzmann model was adopted to depict the S‐shaped trend of SCV with operative temperatures from 5°C to 40°C. The SCV increased linearly with operative temperatures from 14.28°C to 20.5°C and responded sensitively for 10.19°C‐24.59°C, while tended to be stable beyond that. The subjects’ thermal sensations were linearly related to SCV, elaborating the relation between human physiological regulations and subjective thermal perception variations. The findings reveal the body SCV regulatory characteristics in different operative temperature intervals, thereby giving a deeper insight into human autonomic thermoregulation and benefiting for built environment designs, meantime minimizing the temperature‐invoked risks to human health and well‐being.